<?php
	/**
	 * 404-Exception
	 */
	
	class FileNotFoundException extends Exception {
		public function __construct($file){
			parent::__construct('File "' . $file . '" could not be found.');
		}
	}
?>